ISML: An Interface Specification Meta-language
نویسندگان
چکیده
In this paper we present an abstract metaphor model situated within a model-based user interface framework. The inclusion of metaphors in graphical user interfaces is a well established, but mostly craft-based strategy to design. A substantial body of notations and tools can be found within the model-based user interface design literature, however an explicit treatment of metaphor and its mappings to other design views has yet to be addressed. We introduce the Interface Specification Meta-Language (ISML) framework and demonstrate its use in comparing the semantic and syntactic features of an interactive system. Challenges facing this research are outlined and further work proposed.
منابع مشابه
Pattern-driven Model-based User-Interface Development
tasks Tasks which require complex activities whose performance cannot be univocally allocated. A user session with a system. The phases three to five are supported by the Teresa (Transformation Environment for Interactive Systems Representations, [Mori et al. 2004]) environment, a software tool for semi-automatic design of user-interfaces beginning with a CTT task specification. It provides sug...
متن کاملSpecification of Graphical Representations - using hypergraphs or meta-models?
This paper presents the essence of a larger study related to graphical languages and how their syntax is specified formally. The existing approaches for graphical language specification could be divided into two main categories: the traditional grammar-based approaches and the more modern meta-model-based approaches. The work presented in this paper is based on a comparison of two formalisms, o...
متن کاملA case in Multiparadigm Programming : User Interfaces by means of Declarative Meta Programming
Because there is currently no formal way to specify user interfaces, nor a clean way to decouple a user interface from its application code, we propose in this position paper the use of Declarative Meta Programming (DMP) to solve these problems. DMP uses facts and rules to write down a user interface in a declarative way, and will provide a more formal way to specify user interfaces. Furthermor...
متن کاملPerceiving the GUISE: Graphical User Interface Specification Extraction
We present a dynamic control-flow analysis and state classifier for graphical user interfaces. Search engines, end-user programming interfaces, and automated testers exploit such information, but are challenged by clientside and serverside scripts obscuring it: our analysis succeeds on popular web applications that contain both. We further motivate such analyses. First, we introduce a new type ...
متن کاملDML - a meta-language and system for the generation of practical and efficient compilers from denotational specifications
DML, the Denotational Meta Language, is a specification language and a compiler generation tool for producing practical and efficient compilers from Denotational Semantics specifications. This means that code emitted from generated compilers should be product quality, and that generated compilers should have reasonable compilation speed, and interface well with standard frontends and back-ends....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003